6.888: Certified Systems SoftwareVerifiedDSP: Verifying Digital Signal Processing Designs in Coq https://github.com/JeremyRubin/VerifiedDSP Jeremy Rubin

Source URL: css.csail.mit.edu

METHODS FOR APPLYING DYNAMIC SINUSOIDAL MODELS TO STATISTICAL PARAMETRIC SPEECH SYNTHESIS Qiong Hu1 , Yannis Stylianou2 , Ranniery Maia2 , Korin Richmond1 , Junichi Yamagishi1,3 1 The Centre for Speech Technology Resear

Source URL: www.cstr.ed.ac.uk

• Fourier analysis
• Digital signal processing
• Signal processing
• Waves
• Waveforms
• Vocoder
• Speech synthesis
• Speech coding
• Hidden Markov model
• Synthesizer
• Sine wave
• Window function

ATTRIBUTING MODELLING ERRORS IN HMM SYNTHESIS BY STEPPING GRADUALLY FROM NATURAL TO MODELLED SPEECH Thomas Merritt1 , Javier Latorre2 , Simon King1 1 2

Source URL: www.cstr.ed.ac.uk

• Computational linguistics
• Markov models
• Probability distributions
• Digital signal processing
• Standard deviation
• Hidden Markov model
• Speech synthesis
• Window function
• Variance
• Ping
• Normal distribution

Bits from Photons: Oversampled Binary Image Acquisition THÈSE NOPRÉSENTÉE le 21 mars 2012 À LA FACULTÉ INFORMATIQUE ET COMMUNICATIONS

Source URL: www.kutter-fonds.ethz.ch

• Digital photography
• Image sensors
• Electrical engineering
• Image processing
• Electronic engineering
• Electromagnetism
• Digital signal processing
• Integrated circuits
• Active pixel sensor
• Oversampling
• Audio bit depth
• Charge-coupled device

IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS—II: ANALOG AND DIGITAL SIGNAL PROCESSING, VOL. 45, NO. 8, AUGUSTWavelet-Based Image Coder with EntropyConstrained Lattice Vector Quantizer (ECLVQ) Won-Ha Kim, Membe

Source URL: fleece.ucsd.edu

IET Journals 2015 n Letters Journals n The Journal of Engineering n Communications n Signal & Image Processing

Source URL: digital-library.theiet.org

MATHEMATICS OF COMPUTATION Volume 72, Number 241, Pages 387–395 SArticle electronically published on March 5, 2002 RAPID MULTIPLICATION

Source URL: www.daemonology.net

• Mathematics
• Mathematical analysis
• Algebra
• Binary operations
• Fourier analysis
• Elementary arithmetic
• Mathematical notation
• Digital signal processing
• Fast Fourier transform
• Convolution
• Multiplication
• LucasLehmer primality test

22 ISSNDetection and Classification of Acoustic Scenes and Events

Source URL: c4dm.eecs.qmul.ac.uk

• Hearing
• Sound
• Acoustics
• Waves
• Qualia
• Computational auditory scene analysis
• Digital signal processing
• Transcription
• Music information retrieval
• Onset
• Head-related transfer function

Wavelets on Graphs via Deep Learning Raif M. Rustamov & Leonidas Guibas Computer Science Department, Stanford University {rustamov,guibas}@stanford.edu

Source URL: geometry.stanford.edu

• Wavelets
• Signal processing
• Functional analysis
• Timefrequency analysis
• Digital signal processing
• Lifting scheme
• Discrete wavelet transform
• Haar wavelet
• Diffusion wavelets
• Daubechies wavelet
• Fast wavelet transform

DO YOU SOUND LIKE YOUR FRIENDS? EXPLORING ARTIST SIMILARITY VIA ARTIST SOCIAL NETWORK RELATIONSHIPS AND AUDIO SIGNAL PROCESSING B EN F IELDS , M ICHAEL C ASEY Goldsmiths Digital Studios Dept. of Computing

Source URL: doc.gold.ac.uk